TSTP Solution File: DAT236^1 by Nitpick---2016